Nuprl Definition : rel-pre-preserving 11,40
f is R-pre-preserving on P == f is R-R-pre-preserving on P 
latex

clarification:

rel-pre-preserving(es;f;P;R) == Q-R-pre-preserving(es;f;P;R;R) 
latex

Definitionsf is Q-R-pre-preserving on P
FDL editor aliasesrel-pre-preserving

origin